(Cornell) Pirates Puzzle - There are 13 pirates, who find a pot of cold coins. Pirates are ranked by hierarchy. The leader must propose a distribution, and others must vote. A tie results in the proposal being passed. Otherwise, the leader/proposer is killed, and the next leader proposes a distribution. Pirates are greedy, but given all equal, they don't want to kill their fellow pirates because it makes the gang weaker. What is the final distribution?